void writebool(bool b) {
	if(b) write(1);
	else  write(0);
}

int run() {
	int^ a;
	@ a == null
	{
		int b <- 7; 
		write(a <-- b);
	}
	writebool(a == null);
}
